The objective of this research programme is to contribute to the establishment of the emerging science of Formal Ontology in Information Systems via a collaborative project involving researchers from a range of disciplines including philosophy, logic, computer science, linguistics, and the medical sciences. The re­searchers will work together on the construction of a unified formal ontology, which means: a general framework for the construction of ontological theories in specific domains. The framework will be constructed using the axiomatic-deductive method of modern (...) formal ontology. It will be tested via a series of applications relating to on-going work in Leipzig on medical taxonomies and data dictionaries in the context of clinical trials. This will lead to the production of a domain-specific ontology which is designed to serve as a basis for applications in the medical field. (shrink)

General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a system of top-level ontologies which can be used as a basis for building domain-specific ontologies. The present paper gives an overview about the basic categories of the GOL-ontology. GOL is part of the work of the research group Ontologies in Medicine (Onto-Med) at the University of Leipzig which is based on the collaborative work of the Institute of Medical Informatics (...) (IMISE) and the Institute for Computer Science (IfI). It represents work in progress toward a proposal for an integrated family of top-level ontologies and will be applied to several fields of medicine, in particular to the field of Clinical Trials. (shrink)

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has considerable mathematical power and (...) great flexibility as a framework for modelling different sorts of structures. At the same time it has the disadvantage that sets are abstract entities (entities existing outside the realm of time, space and causality), and thus a set-theoretical framework should be supplemented by some other machinery if it is to support applications in the ripe, messy world of concrete objects. In the present paper we partition the entities of the real world into sets and urelements, and then we introduce several new ontological relations between these urelements. In contrast to standard modelling and representation formalisms, the concepts of GOL provide a machinery for representing and analysing such ontologically basic relations. (shrink)

The force of [Heinrich von] Kleist's story "On the Marionette Theatre" . . . derives from roots deeply sunk into the soil of the past. It is a novel variation on a theme the first author of which may well be Plato. For according to Plato the human mind has been in the dark ever since it lost its place in the community of Truth, in the realm, that is, of the Ideas, the eternal and eternally perfect forms, those (...) now unattainable models which man in his exile is able to see and recognize only as shadows or imperfect copies. And this Platonic parable of the damage suffered by man's soul and consciousness is not unlike the Fall as it is narrated in Genesis. The Fall was the consequence and punishment of man's free will that for the first time had asserted itself against the universal God and rejoiced in a consciousness and pleasure entirely its own—tragically its own; for man had to forsake the indwelling in the supreme Intelligence and thus the harmony between himself and Being as such. The reward for this betrayal was the embarrassment and shame of self-consciousness, the hard labor of maintaining himself in his state of separation, and, soon to follow, the murderous misdeeds of the self-will named Cain. Better to have no mind than a mind thus deprived and impoverished and cruel. Erich Heller, Avalon Foundation Professor in the Humanities at Northwestern University, is the author of The Disinherited Mind: Essays in Modern German Literature and Thought; The Ironic Gentleman: Thomas Mann; The Artist's Journey into the Interior; and Franz Kafka. These books have also appeared in Germany in the author's own translations, and his Dir Wiederkehr der Unschuld [The return of innocence] was recently published there. See also: "Fiction, History, and Empirical Reality" by Murray Krieger in Vol. 1, No. 2; "Psychoanalysis and the Marionette Theater: Interpretation is Not Depreciation" by Margret Schaefer in Vol. 5, No. 1. (shrink)

I offer a clear conception of a temporal part that does not make the existence of temporal parts implausible. This can be done if (and only if) we think of physical objects as four dimensional, The fourth dimension being time. Unless we are willing to deny the existence of most spatial parts, Or willing to accept the possibility of coincident entities, Or accept something even more implausible, We should accept the existence of temporal parts.

This is the first full study in English of the German historicist tradition. Frederick C. Beiser surveys the major German thinkers on history from the middle of the eighteenth century until the early twentieth century, providing an introduction to each thinker and the main issues in interpreting and appraising his thought. The volume offers new interpretations of well-known philosophers such as Johann Gottfried Herder and Max Weber, and introduces others who are scarcely known at all, including J. A. Chladenius, (...) class='Hi'>Justus Möser, Heinrich Rickert, and Emil Lask. Beyond an exploration of the historical and intellectual context of each thinker, Beiser illuminates the sources and reasons for the movement of German historicism—one of the great revolutions in modern Western thought, and the source of our historical understanding of the human world. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Cocceius and the Jewish CommentatorsAdina M. YoffieThe case of Johannes Cocceius defies the commonplace that Leiden University (and perhaps post-Reformation, confessionalized Europe in general) turned away from humanist scholarship in the first quarter of the seventeenth century. In 1650 Cocceius (1603-69), a Bremen-born Oriental philology professor at Franeker, joined the Leiden theological faculty and wrote a treatise, Protheoria de ratione interpretandi sive introductio in philologiam sacram (De ratione). He (...) praised such rabbinic exegetes as Rashi (1040-1105) and David Kimchi (ca. 1160-ca. 1235) in humanist terms for their erudition. At the same time the "new" Cartesian philosophy was taking hold in the arts faculty, and mathematics instruction was encroaching on scholastic formal logic.1 Leiden would become famous for Cartesianism, mathematics, and "Calvinist Copernicanism" in the second half of the seventeenth century, but Cocceius still worked in the tradition of advanced humanist scholarship that had made the institution famous in the sixteenth century.2Leiden's earlier reputation was due in large part to the biblical humanist work of such Renaissance polymaths as Joseph Justus Scaliger (1540-1609) and Hugo Grotius (1583-1645), but by Cocceius's time Leiden theologians were subject to greater Church and State control. As Jonathan Israel and Edwin Rabbie have shown, in response to the controversy that surrounded Jacobus Arminius and his stand on predestination, the Synod of Dordrecht (Dort) drafted an anti-Arminian statement in 1619; any professor who did not sign was subject [End Page 383] to exile from the republic in addition to dismissal from his post.3 Innovative theology, exegesis, and philology suffered as professors, fearing State and Church reprisals, turned to "dogmatic humanism." As Henk Jan de Jonge has explained, this meant that "almost all the theologians of seventeenth-century Leiden who concerned themselves with the explanation of the New Testament placed exegesis at the service of dogmatic objectives."4 Unlike his fellow Leiden theologians, Cocceius pursued biblical humanism and Christian Hebraism through the study of Hebrew, Greek, and Aramaic-and he did so in a unique way. He was not the first to use Jewish commentaries and even Jewish post-biblical literature for the purpose of reconstructing the original Hebrew Bible, but he was innovative in praising rabbinic scholars as fellow humanists and in incorporating their scholarship into his Christological exegesis and philosophy. He did so, furthermore, not as an independent scholar or pastor or even as a professor of Hebrew; but as the holder of a university chair in theology at a confessionalized university in a century hostile to his brand of late humanism.Although he came to Leiden as a theologian, Cocceius had impressive training as an Orientalist. He had studied with the famous scholar Sixtinus Amama (1593-1629) and polished his Hebrew and Aramaic by working with a Jewish tutor from Hamburg.5 While still a student at Franeker, Cocceius wrote a translation and commentary of the Talmudic tractate Sanhedrin. A few years later he began composing commentaries on the Pentateuch, and, by the time he arrived at Leiden, he had completed one lecture, series of lectures, or piece of writing on every book of the Old Testament. These commentaries were based not only on Cocceius's extensive knowledge of Oriental languages but also on his readings of medieval Jewish commentators. These were the same commentators that Cocceius would later praise in chapter eight of the De ratione.These humanist achievements were much at variance with Cocceius's public persona as perhaps the most prominent Dutch Calvinist theologian of the seventeenth century. For approximately 100 years after his death in 1669 a faction of Leiden theologians calling themselves "Cocceians" battled the "Voetians," followers of Gisbertus Voetius, for the soul of the Dutch Church.6 At Leiden he lectured on the Pauline Epistles, a typical subject for a seventeenth-century Calvinist theologian, and he worked on his famous theological tract, the salvation-historical Summa doctrinae de foedere et testamento Dei (1648). Neither the De ratione nor his voluminous biblical commentary (except [End Page 384] for a short treatise on the last six chapters of Deuteronomy) was published in Cocceius's lifetime. His son Johann Heinrich released these and his father's... (shrink)

Die Reihe Monographien und Texte zur Nietzsche-Forschung (MTNF) setzt seit mehreren Jahrzehnten die Agenda in der sich stetig Nietzsche-Forschung. Die Bände sind interdisziplinär und international ausgerichtet und spiegeln das gesamte Spektrum der Nietzsche-Forschung wider, von der Philosophie über die Literaturwissenschaft bis zur politischen Theorie. Die Monographien und Sammelbände unterliegen jeweils einem strengen Peer-Review.

In ‘The Choice Theory of Contracts’, we advance a claim about the centrality of autonomy to contract. Since publishing Choice Theory, we have engaged dozens of reviews and responses; here, we reply to Robert Stevens, Arthur Ripstein, and Brian Bix. All this rigorous debate confirms for us one core point: contract’s ultimate value must be autonomy, properly understood and refined. Autonomy is the telos of contract and its grounding principle. In Choice Theory, we stressed the proactive facilitation component of autonomy, (...) in particular, the state’s obligation regarding contract types. Here, we highlight two additional, necessary implications of autonomy for contract: regard for future selves and relational justice. These three aspects of autonomy shape the range, limit, and floor, respectively, for the legitimate use of contract. They provide a principled and constrained path for law reform. (shrink)

This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an (...) introductory paper that surveys Prawitz's numerous contributions to proof theory and proof-theoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either in-depth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three “dogmas of proof-theoretic semantics” are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. In addition, there are chapters about inversion principles, normalization of proofs, and the notion of proof-theoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence. (shrink)

Le mot rythme est entré dans le vocabulaire esthétique allemand au milieu des années 1760. Son emploi est alors devenu nettement plus fréquent et a cessé d'apparaître comme un emprunt au grec. Une fois acclimaté dans la théorie allemande des arts du déroulement dans le temps ou arts diachroniques, il a assumé la fonction de terme technique plus ou moins pointu — quelquefois très pointu —, auquel ont été attribués trois types de sens. En premier lieu, il pouvait - XVIIIe (...) siècle – Nouvel article. (shrink)

Betr. u.a. die letzten Briefe Friedrich Nietzsches an Jacob Burckhardt.

Keine ausführliche Beschreibung für "Die chinesische Weltanschauung" verfügbar.